ReP USP - Resultado da busca

Trabalho de evento
Evaluating data-flow coverage in spectrum-based fault localization (2019)
Ribeiro, Henrique L; Roberto de Araujo, P. A; Chaim, Marcos Lordello ; Souza, Higor Amario de; Kon, Fabio
Source: Proceedings. Conference titles: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM. Unidades: IME, EACH
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Henrique L et al. Evaluating data-flow coverage in spectrum-based fault localization. 2019, Anais.. Piscataway: IEEE, 2019. Disponível em: https://doi.org/10.1109/ESEM.2019.8870182. Acesso em: 08 maio 2024.
APA
Ribeiro, H. L., Roberto de Araujo, P. A., Chaim, M. L., Souza, H. A. de, & Kon, F. (2019). Evaluating data-flow coverage in spectrum-based fault localization. In Proceedings. Piscataway: IEEE. doi:10.1109/ESEM.2019.8870182
NLM
Ribeiro HL, Roberto de Araujo PA, Chaim ML, Souza HA de, Kon F. Evaluating data-flow coverage in spectrum-based fault localization [Internet]. Proceedings. 2019 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/ESEM.2019.8870182
Vancouver
Ribeiro HL, Roberto de Araujo PA, Chaim ML, Souza HA de, Kon F. Evaluating data-flow coverage in spectrum-based fault localization [Internet]. Proceedings. 2019 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/ESEM.2019.8870182
Relatorio tecnico
Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica (2019)
Ribeiro, Leila ; Castro Junior, Alberto Nogueira de; Fröhlich, Antônio Augusto ; Ferraz, Carlos André Guimarães; Ferreira, Carlos Eduardo ; Serey, Dalton; Cordeiro, Daniel de Angelis ; Castro Filho, José Aires de; Bigolin, Nara; Cavalheiro, Simone
Unidades: IME, EACH
Subjects: COMPUTADOR NO ENSINO, EDUCAÇÃO ESCOLAR BÁSICA, TECNOLOGIA EDUCACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Leila et al. Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica. . Porto Alegre: SBC. Disponível em: https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60. Acesso em: 08 maio 2024. , 2019
APA
Ribeiro, L., Castro Junior, A. N. de, Fröhlich, A. A., Ferraz, C. A. G., Ferreira, C. E., Serey, D., et al. (2019). Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica. Porto Alegre: SBC. Recuperado de https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60
NLM
Ribeiro L, Castro Junior AN de, Fröhlich AA, Ferraz CAG, Ferreira CE, Serey D, Cordeiro D de A, Castro Filho JA de, Bigolin N, Cavalheiro S. Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica [Internet]. 2019 ;[citado 2024 maio 08 ] Available from: https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60
Vancouver
Ribeiro L, Castro Junior AN de, Fröhlich AA, Ferraz CAG, Ferreira CE, Serey D, Cordeiro D de A, Castro Filho JA de, Bigolin N, Cavalheiro S. Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica [Internet]. 2019 ;[citado 2024 maio 08 ] Available from: https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60
Artigo de periodico
Robust topological policy iteration for infinite horizon bounded Markov decision processes (2019)
Reis, Willy Arthur Silva; Barros, Leliane Nunes de ; Delgado, Karina Valdivia
Source: International Journal of Approximate Reasoning. Unidades: IME, EACH
Subjects: PROCESSOS DE MARKOV, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REIS, Willy Arthur Silva e BARROS, Leliane Nunes de e DELGADO, Karina Valdivia. Robust topological policy iteration for infinite horizon bounded Markov decision processes. International Journal of Approximate Reasoning, v. 105, p. 287-304, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2018.12.004. Acesso em: 08 maio 2024.
APA
Reis, W. A. S., Barros, L. N. de, & Delgado, K. V. (2019). Robust topological policy iteration for infinite horizon bounded Markov decision processes. International Journal of Approximate Reasoning, 105, 287-304. doi:10.1016/j.ijar.2018.12.004
NLM
Reis WAS, Barros LN de, Delgado KV. Robust topological policy iteration for infinite horizon bounded Markov decision processes [Internet]. International Journal of Approximate Reasoning. 2019 ; 105 287-304.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.004
Vancouver
Reis WAS, Barros LN de, Delgado KV. Robust topological policy iteration for infinite horizon bounded Markov decision processes [Internet]. International Journal of Approximate Reasoning. 2019 ; 105 287-304.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.004
Artigo de periodico
Partial meet pseudo-contractions (2018)
Santos, Yuri David; Matos, Vinícius Bitencourt ; Ribeiro, Márcio Moretto; Wassermann, Renata
Source: International Journal of Approximate Reasoning. Unidades: EACH, IME
Subjects: ONTOLOGIA, LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Yuri David et al. Partial meet pseudo-contractions. International Journal of Approximate Reasoning, v. 103, p. 11-27, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2018.08.006. Acesso em: 08 maio 2024.
APA
Santos, Y. D., Matos, V. B., Ribeiro, M. M., & Wassermann, R. (2018). Partial meet pseudo-contractions. International Journal of Approximate Reasoning, 103, 11-27. doi:10.1016/j.ijar.2018.08.006
NLM
Santos YD, Matos VB, Ribeiro MM, Wassermann R. Partial meet pseudo-contractions [Internet]. International Journal of Approximate Reasoning. 2018 ; 103 11-27.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.ijar.2018.08.006
Vancouver
Santos YD, Matos VB, Ribeiro MM, Wassermann R. Partial meet pseudo-contractions [Internet]. International Journal of Approximate Reasoning. 2018 ; 103 11-27.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.ijar.2018.08.006
Trabalho de evento
Dynamic resource provisioning for scientific workflow executions in clouds (2018)
Oda, Ricardo; Cordeiro, Daniel de Angelis; Braghetto, Kelly Rosa
Source: Proceedings. Conference titles: IEEE International Conference on Services Computing — IEEE SCC 2018. Unidades: EACH, IME
Subjects: COMPUTAÇÃO EM NUVEM, GEOMETRIA E MODELAGEM COMPUTACIONAL, PROGRAMAÇÃO DINÂMICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ODA, Ricardo e CORDEIRO, Daniel de Angelis e BRAGHETTO, Kelly Rosa. Dynamic resource provisioning for scientific workflow executions in clouds. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/SCC.2018.00051. Acesso em: 08 maio 2024.
APA
Oda, R., Cordeiro, D. de A., & Braghetto, K. R. (2018). Dynamic resource provisioning for scientific workflow executions in clouds. In Proceedings. Piscataway: IEEE. doi:10.1109/SCC.2018.00051
NLM
Oda R, Cordeiro D de A, Braghetto KR. Dynamic resource provisioning for scientific workflow executions in clouds [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/SCC.2018.00051
Vancouver
Oda R, Cordeiro D de A, Braghetto KR. Dynamic resource provisioning for scientific workflow executions in clouds [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/SCC.2018.00051
Trabalho de evento
Occupation measure heuristics to solve stochastic shortest path with dead ends (2018)
Fernández, Milton Condori; Barros, Leliane Nunes de ; Delgado, Karina Valdivia
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EACH
Subjects: PROGRAMAÇÃO LINEAR, RACIOCÍNIO PROBABILÍSTICO, PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNÁNDEZ, Milton Condori e BARROS, Leliane Nunes de e DELGADO, Karina Valdivia. Occupation measure heuristics to solve stochastic shortest path with dead ends. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/BRACIS.2018.00096. Acesso em: 08 maio 2024.
APA
Fernández, M. C., Barros, L. N. de, & Delgado, K. V. (2018). Occupation measure heuristics to solve stochastic shortest path with dead ends. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2018.00096
NLM
Fernández MC, Barros LN de, Delgado KV. Occupation measure heuristics to solve stochastic shortest path with dead ends [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/BRACIS.2018.00096
Vancouver
Fernández MC, Barros LN de, Delgado KV. Occupation measure heuristics to solve stochastic shortest path with dead ends [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/BRACIS.2018.00096
Trabalho de evento
Circular orbits detection for gaze interaction using 2D correlation and profile matching algorithms (2018)
Velloso, Eduardo; Coutinho, Flávio Luíz; Kurauchi, Andrew Toshiaki Nakayama; Morimoto, Carlos Hitoshi
Source: Proceedings. Conference titles: Symposium on Eye Tracking Research & Applications - ETRA. Unidades: EACH, IME
Subjects: VISÃO COMPUTACIONAL, INTERAÇÃO HOMEM-MÁQUINA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VELLOSO, Eduardo et al. Circular orbits detection for gaze interaction using 2D correlation and profile matching algorithms. 2018, Anais.. New York: ACM, 2018. Disponível em: https://doi.org/10.1145/3204493.3204524. Acesso em: 08 maio 2024.
APA
Velloso, E., Coutinho, F. L., Kurauchi, A. T. N., & Morimoto, C. H. (2018). Circular orbits detection for gaze interaction using 2D correlation and profile matching algorithms. In Proceedings. New York: ACM. doi:10.1145/3204493.3204524
NLM
Velloso E, Coutinho FL, Kurauchi ATN, Morimoto CH. Circular orbits detection for gaze interaction using 2D correlation and profile matching algorithms [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1145/3204493.3204524
Vancouver
Velloso E, Coutinho FL, Kurauchi ATN, Morimoto CH. Circular orbits detection for gaze interaction using 2D correlation and profile matching algorithms [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1145/3204493.3204524
Trabalho de evento
Risk-sensitive Markov decision process with limited budget (2018)
Moreira, Daniel Augusto de Melo; Delgado, Karina Valdivia; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems (BRACIS). Unidades: EACH, IME
Subjects: PROGRAMAÇÃO DINÂMICA, PROCESSOS DE MARKOV, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOREIRA, Daniel Augusto de Melo e DELGADO, Karina Valdivia e BARROS, Leliane Nunes de. Risk-sensitive Markov decision process with limited budget. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/BRACIS.2017.65. Acesso em: 08 maio 2024.
APA
Moreira, D. A. de M., Delgado, K. V., & Barros, L. N. de. (2018). Risk-sensitive Markov decision process with limited budget. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2017.65
NLM
Moreira DA de M, Delgado KV, Barros LN de. Risk-sensitive Markov decision process with limited budget [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/BRACIS.2017.65
Vancouver
Moreira DA de M, Delgado KV, Barros LN de. Risk-sensitive Markov decision process with limited budget [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/BRACIS.2017.65
Trabalho de evento
Assessing the impact of supporting information on the scheduling of scientific workflows on clouds (2018)
Teixeira, Eduardo Cotrin; Cordeiro, Daniel de Angelis; Braghetto, Kelly Rosa
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação - CSBC. Unidades: EACH, IME
Assunto: MODELAGEM DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TEIXEIRA, Eduardo Cotrin e CORDEIRO, Daniel de Angelis e BRAGHETTO, Kelly Rosa. Assessing the impact of supporting information on the scheduling of scientific workflows on clouds. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: http://portaldeconteudo.sbc.org.br/index.php/bresci/article/view/3277. Acesso em: 08 maio 2024.
APA
Teixeira, E. C., Cordeiro, D. de A., & Braghetto, K. R. (2018). Assessing the impact of supporting information on the scheduling of scientific workflows on clouds. In Anais. Porto Alegre: SBC. Recuperado de http://portaldeconteudo.sbc.org.br/index.php/bresci/article/view/3277
NLM
Teixeira EC, Cordeiro D de A, Braghetto KR. Assessing the impact of supporting information on the scheduling of scientific workflows on clouds [Internet]. Anais. 2018 ;[citado 2024 maio 08 ] Available from: http://portaldeconteudo.sbc.org.br/index.php/bresci/article/view/3277
Vancouver
Teixeira EC, Cordeiro D de A, Braghetto KR. Assessing the impact of supporting information on the scheduling of scientific workflows on clouds [Internet]. Anais. 2018 ;[citado 2024 maio 08 ] Available from: http://portaldeconteudo.sbc.org.br/index.php/bresci/article/view/3277
Artigo de periodico
Contextualizing spectrum-based fault localization (2018)
Souza, Higor Amario de; Mutti, Danilo; Chaim, Marcos Lordello; Kon, Fábio
Source: Information and Software Technology. Unidades: EACH, IME
Subjects: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Higor Amario de et al. Contextualizing spectrum-based fault localization. Information and Software Technology, v. fe 2018, p. 245-261, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2017.10.014. Acesso em: 08 maio 2024.
APA
Souza, H. A. de, Mutti, D., Chaim, M. L., & Kon, F. (2018). Contextualizing spectrum-based fault localization. Information and Software Technology, fe 2018, 245-261. doi:10.1016/j.infsof.2017.10.014
NLM
Souza HA de, Mutti D, Chaim ML, Kon F. Contextualizing spectrum-based fault localization [Internet]. Information and Software Technology. 2018 ; fe 2018 245-261.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.infsof.2017.10.014
Vancouver
Souza HA de, Mutti D, Chaim ML, Kon F. Contextualizing spectrum-based fault localization [Internet]. Information and Software Technology. 2018 ; fe 2018 245-261.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.infsof.2017.10.014
Trabalho de evento
Jaguar: a spectrum-based fault localization tool for real-world software (2018)
Ribeiro, Henrique Lemos; Souza, Higor Amario de; Araujo, Roberto Paulo Andrioli de; Chaim, Marcos Lordello; Kon, Fábio
Source: Proceedings. Conference titles: International Conference on Software Testing, Verification and Validation (ICST). Unidades: EACH, IME
Subjects: JAVA, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Henrique Lemos et al. Jaguar: a spectrum-based fault localization tool for real-world software. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/ICST.2018.00048. Acesso em: 08 maio 2024.
APA
Ribeiro, H. L., Souza, H. A. de, Araujo, R. P. A. de, Chaim, M. L., & Kon, F. (2018). Jaguar: a spectrum-based fault localization tool for real-world software. In Proceedings. Piscataway: IEEE. doi:10.1109/ICST.2018.00048
NLM
Ribeiro HL, Souza HA de, Araujo RPA de, Chaim ML, Kon F. Jaguar: a spectrum-based fault localization tool for real-world software [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/ICST.2018.00048
Vancouver
Ribeiro HL, Souza HA de, Araujo RPA de, Chaim ML, Kon F. Jaguar: a spectrum-based fault localization tool for real-world software [Internet]. Proceedings. 2018 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1109/ICST.2018.00048
Artigo de periodico
Desambiguação de nomes de autores para a identificação automática de perfis acadêmicos (2018)
Digiampietri, Luciano Antonio; Ferreira, João Eduardo
Source: Em Questao. Unidades: EACH, IME
Subjects: BIBLIOMETRIA, PESQUISA CIENTÍFICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIGIAMPIETRI, Luciano Antonio e FERREIRA, João Eduardo. Desambiguação de nomes de autores para a identificação automática de perfis acadêmicos. Em Questao, v. 24, n. 2, p. 37-54, 2018Tradução . . Disponível em: https://doi.org/10.19132/1808-5245242.37-54. Acesso em: 08 maio 2024.
APA
Digiampietri, L. A., & Ferreira, J. E. (2018). Desambiguação de nomes de autores para a identificação automática de perfis acadêmicos. Em Questao, 24( 2), 37-54. doi:10.19132/1808-5245242.37-54
NLM
Digiampietri LA, Ferreira JE. Desambiguação de nomes de autores para a identificação automática de perfis acadêmicos [Internet]. Em Questao. 2018 ; 24( 2): 37-54.[citado 2024 maio 08 ] Available from: https://doi.org/10.19132/1808-5245242.37-54
Vancouver
Digiampietri LA, Ferreira JE. Desambiguação de nomes de autores para a identificação automática de perfis acadêmicos [Internet]. Em Questao. 2018 ; 24( 2): 37-54.[citado 2024 maio 08 ] Available from: https://doi.org/10.19132/1808-5245242.37-54
Trabalho de evento
Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels (2017)
Costa Júnior, Misael; Oliveira, Rafael A. P; Valverde, Miguel A. G.; Jackowski, Marcel Parolin ; Marques, Fátima de Lourdes dos Santos Nunes; Delamaro, Márcio Eduardo
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidades: ICMC, EACH, IME
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, ORACLE, ANGIOGRAFIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA JÚNIOR, Misael et al. Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels. 2017, Anais.. New York, NY: ACM, 2017. Disponível em: https://doi.org/10.1145/3128473.3128484. Acesso em: 08 maio 2024.
APA
Costa Júnior, M., Oliveira, R. A. P., Valverde, M. A. G., Jackowski, M. P., Marques, F. de L. dos S. N., & Delamaro, M. E. (2017). Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels. In Proceedings. New York, NY: ACM. doi:10.1145/3128473.3128484
NLM
Costa Júnior M, Oliveira RAP, Valverde MAG, Jackowski MP, Marques F de L dos SN, Delamaro ME. Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels [Internet]. Proceedings. 2017 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1145/3128473.3128484
Vancouver
Costa Júnior M, Oliveira RAP, Valverde MAG, Jackowski MP, Marques F de L dos SN, Delamaro ME. Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels [Internet]. Proceedings. 2017 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1145/3128473.3128484
Trabalho de evento-anais periodico
A novel 3D shape descriptor for automatic retrieval of anatomical structures from medical images (2017)
Marques, Fátima de Lourdes dos Santos Nunes ; Bergamasco, Leila Cristina Carneiro; Delmondes, Pedro Henrique Morais; Galarreta Valverde, Miguel Ángel; Jackowski, Marcel Parolin
Source: Proceedings of SPIE. Conference titles: Medical Imaging 2017 : image perception, observer performance, and technology assessment. Unidades: IME, EACH
Subjects: IMAGEM DIGITAL, IMAGEM 3D, INFORMÁTICA MÉDICA, RECUPERAÇÃO DA INFORMAÇÃO, DIAGNÓSTICO POR IMAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARQUES, Fátima de Lourdes dos Santos Nunes et al. A novel 3D shape descriptor for automatic retrieval of anatomical structures from medical images. Proceedings of SPIE. Bellingham, United States: SPIE. Disponível em: https://doi.org/10.1117/12.2253928. Acesso em: 08 maio 2024. , 2017
APA
Marques, F. de L. dos S. N., Bergamasco, L. C. C., Delmondes, P. H. M., Galarreta Valverde, M. Á., & Jackowski, M. P. (2017). A novel 3D shape descriptor for automatic retrieval of anatomical structures from medical images. Proceedings of SPIE. Bellingham, United States: SPIE. doi:10.1117/12.2253928
NLM
Marques F de L dos SN, Bergamasco LCC, Delmondes PHM, Galarreta Valverde MÁ, Jackowski MP. A novel 3D shape descriptor for automatic retrieval of anatomical structures from medical images [Internet]. Proceedings of SPIE. 2017 ; 10134 1013430-1 - 1013430-8.[citado 2024 maio 08 ] Available from: https://doi.org/10.1117/12.2253928
Vancouver
Marques F de L dos SN, Bergamasco LCC, Delmondes PHM, Galarreta Valverde MÁ, Jackowski MP. A novel 3D shape descriptor for automatic retrieval of anatomical structures from medical images [Internet]. Proceedings of SPIE. 2017 ; 10134 1013430-1 - 1013430-8.[citado 2024 maio 08 ] Available from: https://doi.org/10.1117/12.2253928
Trabalho de evento
Método exato para um problema de alocação justa (2017)
Azevedo, Edenis F.; Ferreira, Carlos Eduardo ; Freire, Alexandre da Silva; Gruber, Aritanan; Vellozo, Augusto
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação - CSBC. Unidades: IME, EACH
Assunto: ANÁLISE NUMÉRICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AZEVEDO, Edenis F. et al. Método exato para um problema de alocação justa. 2017, Anais.. São Paulo: Sociedade Brasileira de Computação, 2017. Disponível em: https://doi.org/10.5753/etc.2017.3208. Acesso em: 08 maio 2024.
APA
Azevedo, E. F., Ferreira, C. E., Freire, A. da S., Gruber, A., & Vellozo, A. (2017). Método exato para um problema de alocação justa. In Anais. São Paulo: Sociedade Brasileira de Computação. doi:10.5753/etc.2017.3208
NLM
Azevedo EF, Ferreira CE, Freire A da S, Gruber A, Vellozo A. Método exato para um problema de alocação justa [Internet]. Anais. 2017 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.5753/etc.2017.3208
Vancouver
Azevedo EF, Ferreira CE, Freire A da S, Gruber A, Vellozo A. Método exato para um problema de alocação justa [Internet]. Anais. 2017 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.5753/etc.2017.3208
Artigo de periodico
The convex recoloring problem: polyhedra, facets and computational experiments (2016)
Campêlo, Manoel; Freire, Alexandre S; Lima, Karla Roberta Pereira Sampaio; Moura, Phablo Fernando Soares; Wakabayashi, Yoshiko
Source: Mathematical Programming. Unidades: EACH, IME
Subjects: ALGORITMOS, POLIEDROS, PROGRAMAÇÃO INTEIRA E FLUXOS EM REDE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMPÊLO, Manoel et al. The convex recoloring problem: polyhedra, facets and computational experiments. Mathematical Programming, v. 156, n. 1, p. 303-330, 2016Tradução . . Disponível em: https://doi.org/10.1007/s10107-015-0880-7. Acesso em: 08 maio 2024.
APA
Campêlo, M., Freire, A. S., Lima, K. R. P. S., Moura, P. F. S., & Wakabayashi, Y. (2016). The convex recoloring problem: polyhedra, facets and computational experiments. Mathematical Programming, 156( 1), 303-330. doi:10.1007/s10107-015-0880-7
NLM
Campêlo M, Freire AS, Lima KRPS, Moura PFS, Wakabayashi Y. The convex recoloring problem: polyhedra, facets and computational experiments [Internet]. Mathematical Programming. 2016 ; 156( 1): 303-330.[citado 2024 maio 08 ] Available from: https://doi.org/10.1007/s10107-015-0880-7
Vancouver
Campêlo M, Freire AS, Lima KRPS, Moura PFS, Wakabayashi Y. The convex recoloring problem: polyhedra, facets and computational experiments [Internet]. Mathematical Programming. 2016 ; 156( 1): 303-330.[citado 2024 maio 08 ] Available from: https://doi.org/10.1007/s10107-015-0880-7
Artigo de periodico
Real-time dynamic programming for Markov decision processes with imprecise probabilities (2016)
Delgado, Karina Valdivia; Barros, Leliane Nunes de ; Dias, Daniel Baptista; Sanner, Scott
Source: Artificial Intelligence. Unidades: EACH, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROCESSOS DE MARKOV, ROBUSTEZ
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELGADO, Karina Valdivia et al. Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artificial Intelligence, v. 230, n. Ja 2016, p. 192–223, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2015.09.005. Acesso em: 08 maio 2024.
APA
Delgado, K. V., Barros, L. N. de, Dias, D. B., & Sanner, S. (2016). Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artificial Intelligence, 230( Ja 2016), 192–223. doi:10.1016/j.artint.2015.09.005
NLM
Delgado KV, Barros LN de, Dias DB, Sanner S. Real-time dynamic programming for Markov decision processes with imprecise probabilities [Internet]. Artificial Intelligence. 2016 ; 230( Ja 2016): 192–223.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.artint.2015.09.005
Vancouver
Delgado KV, Barros LN de, Dias DB, Sanner S. Real-time dynamic programming for Markov decision processes with imprecise probabilities [Internet]. Artificial Intelligence. 2016 ; 230( Ja 2016): 192–223.[citado 2024 maio 08 ] Available from: https://doi.org/10.1016/j.artint.2015.09.005
Trabalho de evento-anais periodico
Consolidating probabilistic knowledge bases via belief contraction (2016)
De Bona, Glauber ; Finger, Marcelo ; Ribeiro, Márcio Moretto; Santos, Yuri David; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016. Unidades: IME, EACH, EP
Subjects: LÓGICA MATEMÁTICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Consolidating probabilistic knowledge bases via belief contraction. Proceedings. Menlo Park: AAAI Publications. Disponível em: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469. Acesso em: 08 maio 2024. , 2016
APA
De Bona, G., Finger, M., Ribeiro, M. M., Santos, Y. D., & Wassermann, R. (2016). Consolidating probabilistic knowledge bases via belief contraction. Proceedings. Menlo Park: AAAI Publications. Recuperado de https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
NLM
De Bona G, Finger M, Ribeiro MM, Santos YD, Wassermann R. Consolidating probabilistic knowledge bases via belief contraction [Internet]. Proceedings. 2016 ;[citado 2024 maio 08 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Vancouver
De Bona G, Finger M, Ribeiro MM, Santos YD, Wassermann R. Consolidating probabilistic knowledge bases via belief contraction [Internet]. Proceedings. 2016 ;[citado 2024 maio 08 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Curadoria
Congresso da Sociedade Brasileira de Computação, 36 / Concurso de Teses e Dissertações - CTD, 29 (2016)
Ferreira, Carlos Eduardo (cur) ; Liang, Zhao (cur); Digiampietri, Luciano Antonio (cur); Pimentel, Maria da Graça Campos (cur)
Unidades: IME, FFCLRP, EACH, ICMC
Assunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Congresso da Sociedade Brasileira de Computação, 36 / Concurso de Teses e Dissertações - CTD, 29. . Porto Alegre: SBC. . Acesso em: 08 maio 2024. , 2016
APA
Congresso da Sociedade Brasileira de Computação, 36 / Concurso de Teses e Dissertações - CTD, 29. (2016). Congresso da Sociedade Brasileira de Computação, 36 / Concurso de Teses e Dissertações - CTD, 29. Porto Alegre: SBC.
NLM
Congresso da Sociedade Brasileira de Computação, 36 / Concurso de Teses e Dissertações - CTD, 29. 2016 ;[citado 2024 maio 08 ]
Vancouver
Congresso da Sociedade Brasileira de Computação, 36 / Concurso de Teses e Dissertações - CTD, 29. 2016 ;[citado 2024 maio 08 ]
Artigo de periodico
Robust probabilistic planning with ilao (2016)
Moreira, Daniel Augusto de Melo; Delgado, Karina Valdivia; Barros, Leliane Nunes de
Source: Applied Intelligence. Unidades: EACH, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROCESSOS DE MARKOV, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOREIRA, Daniel Augusto de Melo e DELGADO, Karina Valdivia e BARROS, Leliane Nunes de. Robust probabilistic planning with ilao. Applied Intelligence, 2016Tradução . . Disponível em: https://doi.org/10.1007/s10489-016-0780-4. Acesso em: 08 maio 2024.
APA
Moreira, D. A. de M., Delgado, K. V., & Barros, L. N. de. (2016). Robust probabilistic planning with ilao. Applied Intelligence. doi:10.1007/s10489-016-0780-4
NLM
Moreira DA de M, Delgado KV, Barros LN de. Robust probabilistic planning with ilao [Internet]. Applied Intelligence. 2016 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1007/s10489-016-0780-4
Vancouver
Moreira DA de M, Delgado KV, Barros LN de. Robust probabilistic planning with ilao [Internet]. Applied Intelligence. 2016 ;[citado 2024 maio 08 ] Available from: https://doi.org/10.1007/s10489-016-0780-4

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration